Inference in Probabilistic Logic Programs using Weighted CNF's

Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. Several classical probabilistic inference tasks (such as MAP and computing marginals) have not yet received a lot of attention for this formalism. The contribution of this paper is that we develop efficient inference algorithms for these tasks. This is based on a conversion of the probabilistic logic program and the query and evidence to a weighted CNF formula. This allows us to reduce the inference tasks to well-studied tasks such as weighted model counting. To solve such tasks, we employ state-of-the-art methods. We consider multiple methods for the conversion of the programs as well as for inference on the weighted CNF. The resulting approach is evaluated experimentally and shown to improve upon the state-of-the-art in probabilistic logic programming

PGM INC. and Carla C. Zimmerman v. Westchester Investment Partners, LTD. : Reply Brief

APPEAL FROM A FINAL JUDGMENT OF THE FOURTH DISTRICT COURT OF UTAH COUNTY, UTAH THE HONORABLE RAY HARDING, SR

Probabilistic Inductive Querying Using ProbLog

We study how probabilistic reasoning and inductive querying can be combined within ProbLog, a recent probabilistic extension of Prolog. ProbLog can be regarded as a database system that supports both probabilistic and inductive reasoning through a variety of querying mechanisms. After a short introduction to ProbLog, we provide a survey of the different types of inductive queries that ProbLog supports, and show how it can be applied to the mining of large biological networks.Peer reviewe

Emergency correction of coagulation before major surgery in two elderly patients on oral anticoagulation

Recommendations for urgent reversal of oral anticoagulation with vitamin K(1 )antagonists are largely derived from case series employing empirical dosing regimens with vitamin K(1 )and prothrombin complex concentrates. Data on the use of prothrombin complex concentrates in this indication are scarce in the elderly who are at high risk of both hemorrhagic and thrombotic complications. The two cases presented here describe patients older than 75 years who underwent rapid International Normalized Ratio (INR) reversal with prothrombin complex concentrates for surgical treatment of a bleeding ruptured spleen and for emergency surgery of a dissecting aorta. Both patients had their INRs rapidly corrected to ≤ 1.6 and underwent operation without complications. Evidence on treatment of patients who present with elevated INR and who have major bleeding or need to undergo emergency surgery is based mainly on observational studies. The two elderly patients presented here underwent successful emergency surgery after their INRs had been corrected with the intravenous use of vitamin K(1 )in combination with prothrombin complex concentrate that was administered according to current guideline recommendations

The Magic of Logical Inference in Probabilistic Programming

Today, many different probabilistic programming languages exist and even more inference mechanisms for these languages. Still, most logic programming based languages use backward reasoning based on SLD resolution for inference. While these methods are typically computationally efficient, they often can neither handle infinite and/or continuous distributions, nor evidence. To overcome these limitations, we introduce distributional clauses, a variation and extension of Sato's distribution semantics. We also contribute a novel approximate inference method that integrates forward reasoning with importance sampling, a well-known technique for probabilistic inference. To achieve efficiency, we integrate two logic programming techniques to direct forward sampling. Magic sets are used to focus on relevant parts of the program, while the integration of backward reasoning allows one to identify and avoid regions of the sample space that are inconsistent with the evidence.Comment: 17 pages, 2 figures, International Conference on Logic Programming (ICLP 2011

Sequence determinants of nucleotide binding in Sucrose Synthase : improving the affinity of a bacterial Sucrose Synthase for UDP by introducing plant residues

Sucrose Synthase (SuSy) catalyzes the reversible conversion of sucrose and a nucleoside diphosphate (NDP) into NDP-glucose and fructose. Biochemical characterization of several plant and bacterial SuSys has revealed that the eukaryotic enzymes preferentially use UDP whereas prokaryotic SuSys prefer ADP as acceptor. In this study, SuSy from the bacterium Acidithiobacillus caldus, which has a higher affinity for ADP as reflected by the 25-fold lower K-m value compared to UDP, was used as a test case to scrutinize the effect of introducing plant residues at positions in a putative nucleotide binding motif surrounding the nucleobase ring of NDP. All eight single to sextuple mutants had similar activities as the wild-type enzyme but significantly reduced K-m values for UDP (up to 60 times). In addition, we recognized that substrate inhibition by UDP is introduced by a methionine at position 637. The affinity for ADP also increased for all but one variant, although the improvement was much smaller compared to UDP. Further characterization of a double mutant also revealed more than 2-fold reduction in K-m values for CDP and GDP. This demonstrates the general impact of the motif on nucleotide binding. Furthermore, this research also led to the establishment of a bacterial SuSy variant that is suitable for the recycling of UDP during glycosylation reactions. The latter was successfully demonstrated by combining this variant with a glycosyltransferase in a one-pot reaction for the production of the C-glucoside nothofagin, a health-promoting flavonoid naturally found in rooibos (tea)

Oxidation of Monolignols by Members of the Berberine Bridge Enzyme Family Suggests a Role in Plant Cell Wall Metabolism

Plant genomes contain a large number of genes encoding for berberine bridge enzyme (BBE)-like enzymes. Despite the widespread occurrence and abundance of this protein family in the plant kingdom, the biochemical function remains largely unexplored. In this study, we have expressed two members of the BBE-like enzyme family from Arabidopsis thaliana in the host organism Komagataella pastoris. The two proteins, termed AtBBE-like 13 and AtBBE-like 15, were purified, and their catalytic properties were determined. In addition, AtBBE-like 15 was crystallized and structurally characterized by x-ray crystallography. Here, we show that the enzymes catalyze the oxidation of aromatic allylic alcohols, such as coumaryl, sinapyl, and coniferyl alcohol, to the corresponding aldehydes and that AtBBE-like 15 adopts the same fold as vanillyl alcohol oxidase as reported previously for berberine bridge enzyme and other FAD-dependent oxidoreductases. Further analysis of the substrate range identified coniferin, the glycosylated storage form of coniferyl alcohol, as a substrate of the enzymes, whereas other glycosylated monolignols were rather poor substrates. A detailed analysis of the motifs present in the active sites of the BBE-like enzymes in A. thaliana suggested that 14 out of 28 members of the family might catalyze similar reactions. Based on these findings, we propose a novel role of BBE-like enzymes in monolignol metabolism that was previously not recognized for this enzyme family

Understanding the degradation of methylenediammonium and its role in phase-stabilizing formamidinium lead triiodide

Formamidinium lead triiodide (FAPbI3) is the leading candidate for single-junction metal–halide perovskite photovoltaics, despite the metastability of this phase. To enhance its ambient-phase stability and produce world-record photovoltaic efficiencies, methylenediammonium dichloride (MDACl2) has been used as an additive in FAPbI3. MDA2+ has been reported as incorporated into the perovskite lattice alongside Cl–. However, the precise function and role of MDA2+ remain uncertain. Here, we grow FAPbI3 single crystals from a solution containing MDACl2 (FAPbI3-M). We demonstrate that FAPbI3-M crystals are stable against transformation to the photoinactive δ-phase for more than one year under ambient conditions. Critically, we reveal that MDA2+ is not the direct cause of the enhanced material stability. Instead, MDA2+ degrades rapidly to produce ammonium and methaniminium, which subsequently oligomerizes to yield hexamethylenetetramine (HMTA). FAPbI3 crystals grown from a solution containing HMTA (FAPbI3-H) replicate the enhanced α-phase stability of FAPbI3-M. However, we further determine that HMTA is unstable in the perovskite precursor solution, where reaction with FA+ is possible, leading instead to the formation of tetrahydrotriazinium (THTZ-H+). By a combination of liquid- and solid-state NMR techniques, we show that THTZ-H+ is selectively incorporated into the bulk of both FAPbI3-M and FAPbI3-H at ∼0.5 mol % and infer that this addition is responsible for the improved α-phase stability